atom_dset()  DSet{1} 

latex

Up	sets 1
Definitions of Statement	atom_dset()
Definitions	atom_dset(), t  T, P & Q, x. t(x), P  Q, , P  Q, x f y, P  Q, x:A. B(x), IsEqFun(T;eq), x(s)
Lemmas	eq atom wf, mk dset wf, assert of eq atom, iff functionality wrt iff, assert wf, iff wf, all functionality wrt iff